Conditional Excluded Middle without the Limit Assumption

نویسندگان

چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Conditional Excluded Middle without the Limit Assumption

But Lewis famously objects that counterfactually supposing that a given line had been more than an inch long will not yield an A-world minimally different from i. ‘‘Just as there is no shortest possible length above 1¢¢,’’ he writes, ‘‘so there is no closest world to ours among the worlds with lines more than an inch long’’ (1973a, 20–21; see also 1981b, 228–230). Lewis and Stalnaker also agree...

متن کامل

Conditional Excluded Middle without the Limit Assumption

But Lewis famously objects that counterfactually supposing that a given line had been more than an inch long will not yield an A-world minimally different from i. “Just as there is no shortest possible length above 1′′,” he writes, “so there is no closest world to ours among the worlds with lines more than an inch long” (a, –; see also b, –). Lewis and Stalnaker also agree abo...

متن کامل

Quantified Conditionals and Conditional Excluded Middle

Higginbotham (1986) observed that quantified conditionals have a stronger meaning than might be expected, as attested by the apparent equivalence of examples like No student will pass if he goofs off and Every student will fail if he goofs off. Higginbotham’s observation follows straightforwardly given the validity of Conditional Excluded Middle (as observed by von Fintel and Iatridou (2002)), ...

متن کامل

Conditional Excluded Middle in Systems of Consequential Implication

It is natural to ask under what conditions negating a conditional is equivalent to negating its consequent. Given a bivalent background logic, this is equivalent to asking about the conjunction of Conditional Excluded Middle (CEM, opposite conditionals are not both false) and Weak Boethius’ Thesis (WBT, opposite conditionals are not both true). In the system CI.0 of consequential implication, w...

متن کامل

Reverse Mathematics and Uniformity in Proofs without Excluded Middle

We prove that if a Π2 sentence is provable in a certain theory of higher order arithmetic without the law of the excluded middle then it is uniformly provable in the weak classical theory RCA0. Applying the contrapositive of this result, we give three examples where results of reverse mathematics can be used to show nonexistence of proofs in certain intuitionistic systems.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Philosophy and Phenomenological Research

سال: 2011

ISSN: 0031-8205

DOI: 10.1111/j.1933-1592.2011.00507.x